\section{The Knowledge Representation and Reasoning Approach}

As was stated earlier, in the knowledge representation and reasoning community, the general approach is centered around the use of a portfolio of various knowledge representation languages, among which are the action language $\AL$, and the logic programming language A-Prolog. In this section we take a brief look at both, and show their application towards the aforementioned domains.